Richard Wood is a mathematician specializing in category theory and lattice theory. He is currently a professor at Dalhousie University.
Introducing the notion of locally graded categories (under the name large -categories):
Richard Wood, Indicial methods for relative categories, PhD thesis (1976) [hdl:10222/55465]
Richard Wood, -indexed categories, in Indexed Categories and Their Applications, Lecture Notes in Mathematics 661 (1978) 126-140 [doi:10.1007/BFb0061362]
On total categories:
Introducing the notion of 2-categories equipped with proarrows (“proarrow equipments”):
Richard J. Wood, Abstract Proarrows I, Cahiers de topologie et géométrie différentielle 23 3 (1982) 279-290 [numdam:CTGDC_1982__23_3_279_0]
Richard J. Wood, Proarrows II, Cahiers de Topologie et Géométrie Différentielle Catégoriques 26 2 (1985) 135-168 [numdam:CTGDC_1985__26_2_135_0]
On completely distributive lattices:
Characterizing the category of sets as that whose Yoneda embedding extends to the left to an adjoint quintuple of adjoint functors:
On distributive laws and factorization systems:
On monads as extension systems (as in monads in computer science):
and generalizing the perspective of extension systems to pseudomonads:
Francisco Marmolejo, Richard J. Wood, Kan extensions and lax idempotent pseudomonads, TAC 26 1 (2012) 1-29 [26-01]
Francisco Marmolejo, Richard J. Wood, No-iteration pseudomonads, TAC 28 14 (2013) 371-402 [tac:28-14]
On lenses (in computer science):
Michael Johnson, Robert Rosebrugh, Richard Wood, Algebras and Update Strategies, Journal of Universal Computer Science 16 (2010) [doi:10.3217/jucs-016-05-0729]
Michael Johnson, Robert Rosebrugh, Richard J. Wood, Lenses, fibrations and universal translations Math. Structures Comput. Sci. 22 1 (2012) 25–42 [doi:10.1017/S0960129511000442]
Last revised on December 15, 2023 at 12:03:56. See the history of this page for a list of all contributions to it.